1041. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
1042. Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers
پدیدآورنده : David Alex Lamb, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1078
1043. System development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 1986 : Proceedings
پدیدآورنده : A.N. Habermann, U. Montanari )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
275
1044. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
1045. Systems Implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000 : Languages, Methods and Tools 23-26 February 1998, Berlin, Germany
پدیدآورنده : edited by R. N. Horspool
کتابخانه: (طهران)
موضوع : Software engineering - Congresses , Computer software - Development - Congresses
رده :
QA
76
.
758
.
I35
1998
1046. Systems, Software and Services Process Improvement :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ;
1047. Systems, Software and Services process Improvement.
پدیدآورنده : \ Rory V. O’Connor...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,م‍ه‍ن‍دس‍ی نرم افزار ,نرم‌افزار -- تولید -- کنگره ها ,نرم افزار -- ک‍ن‍ت‍رل ک‍ی‍ف‍ی‍ت -- کنگره ها
رده :
QA
76
.
76
.
S968
2015
E-Book
,
1048. Systems development methods for databases, enterprise modeling, and workflow management
پدیدآورنده : edited by Wita Wojtkowski [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,System design -- Congresses.,Workflow management systems -- Congresses.
رده :
QA76
.
9
.
S88
E358
1999
1049. Systems, software and services process improvement :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ;
1050. Systems, software and services process improvement :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ;
1051. TAP Soft T' 85: Proceedings of the international joint conference on theory and practice of software development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : edited by Hartmut Ehrig ...]et al[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development
رده :
QA
76
.
L4
v
.
185-186
1052. TAPSOFT '89 :
پدیدآورنده : J. Díaz, F. Orejas, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.
رده :
QA76
.
76
.
D47
I57
1989
1053. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
1054. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
1055. TAPSOFT 91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I58
1991
1056. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
1057. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده : J. Diaz, F. Orejas )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
1058. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991
پدیدآورنده : S. Abramsky, T.S.E. Maibaum )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
493-494
1059. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I58
1993
1060. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
پدیدآورنده : Michel Bidoit, Max Dauchet )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1214
